Checking business process evolution
نویسندگان
چکیده
منابع مشابه
Checking Business Process Evolution
Business processes support the modeling and the implementation of software as workflows of local and inter-process activities. Taking over structuring and composition, evolution has become a central concern in software development. We advocate it should be taken into account as soon as the modeling of business processes, which can thereafter be made executable using process engines or model-to-...
متن کاملChecking Business Process Modeling Guidelines in Apromore
We present the integration of BEBoP understandaBility vErifier for Business Process models, into the Apromore open-source process analytics platform. Given a BPMN model the tool allows one to verify which understandability modeling guidelines such as layout conventions are violated by the model. Such guidelines are rules that a model designer should follow to guarantee that the designed model i...
متن کاملConstraint Checking for Business Process Management
Compliance management tackles issues related to both modelling and enforcement of business constraints in enterprises. In the context of business process management, we propose and describe the use of constraint satisfaction problems as a formal mean for representing these business constraints. We propose a multi-level constraint satisfaction approach to handle different levels of abstraction i...
متن کاملBusiness process analysis by model checking
In order to check the performance of a process, key performance indicators will be necessary. Key performance indicators (KPI's) help to compare the profitability of two processes. To obtain detailed information on the performance, a procedure is needed to analyse a process by checking its model. Such a procedure helps to evaluate a process without the need of doing an expensive attempt by test...
متن کاملAn Efficient Business Process Compliance Checking Approach
Assuring compliant business processes is an important task of business process management, which is commonly supported by the use of business process models. As every compliance rule corresponds with a typical structure, the detection of those corresponds to a pattern matching problem. More specifically, we encounter the problem of subgraph isomorphism. In this paper we propose an automatic bus...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2019
ISSN: 0167-6423
DOI: 10.1016/j.scico.2018.09.007